Term-Rewriting Systems with Rule Priorities
نویسندگان
چکیده
In this paper we discuss term-rewriting systems with ru/e prioriries, which simply is a partial ordering on the rules. The procedural meaning of such an ordering then is, that the application of a rule of lower priority is allowed only if no rule of higher priority is applicable. The semantics of such a system is discussed. It turns out that the class of all hounded systems indeed has such a semantics.
منابع مشابه
Towards Term Rewriting Systems in Constraint Handling Rules Coming to terms with jungles
Term rewriting systems are a formalism in widespread use, often implemented by means of term graph rewriting. In this work we present preliminary results towards an elegant embedding of term graph rewriting in Constraint Handling Rules with rule priorities (CHR). As term graph rewriting is well-known to be incomplete with respect to term rewriting, we aim for sound jungle evaluation in CHR. Hav...
متن کاملOperational Semantics of Term Rewriting with Priorities
We study the semantics of term rewriting systems with rule priorities (PRS), as introduced in [1]. Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identified. A translation of PRSs into transition system specifications (TSS) is given. This translation introduces negative premises. We prove that the translation preserves the...
متن کاملOperational Semantics of Rewriting with Priorities
We study the semantics of term rewriting systems with rule priorities (PRS), as introduced in [1]. Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identi ed. A translation of PRSs into transition system speci cations (TSS) is given. This translation introduces negative premises. We prove that the translation preserves the o...
متن کاملTerm Rewriting Systems with Priorities
Term rewriting systems with rules of different priority are introduced. The semantics are exp}ained in detail and several examples are discussed. Note: Partial support received from the European Communities under Esprit contract no. 432, Meteor (An integrated formal approach to industrial software development).
متن کاملWorkshop Coordinators:
The notion of “rule” is ubiqitous in computer science, from theoretical formalisms to practical programming languages. Matured rulebased programming experiences a renaissance due to its applications in areas such as business rules, semantic web, computational biology, medical diagnosis, software verification, and security. We will embed rule-based approaches into the Constraint Handling Rules (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 67 شماره
صفحات -
تاریخ انتشار 1989